|
In the area of mathematics known as functional analysis, a reflexive space is a Banach space (or more generally a locally convex topological vector space) that coincides with the continuous dual of its continuous dual space, both as linear space and as topological space. Reflexive Banach spaces are often characterized by their geometric properties. == Reflexive Banach spaces == Suppose is a normed vector space over the number field or (the real or complex numbers), with a norm . Consider its dual normed space , that consists of all continuous linear functionals and is equipped with the dual norm defined by : The dual is a normed space (a Banach space to be precise), and its dual normed space is called bidual space for . The bidual consists of all continuous linear functionals and is equipped with the norm dual to . Each vector generates a scalar function by the formula: : and is a continuous linear functional on , ''i.e.'', . One obtains in this way a map : called evaluation map, that is linear. It follows from the Hahn–Banach theorem that is injective and preserves norms: : ''i.e.'', maps isometrically onto its image in . Furthermore, the image is closed in , but it need not be equal to . A normed space is called reflexive if it satisfies the following equivalent conditions: :(i) the evaluation map is surjective, :(ii) the evaluation map is an isometric isomorphism of normed spaces, :(iii) the evaluation map is an isomorphism of normed spaces. A reflexive space is a Banach space, since is then isometric to the Banach space . 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「reflexive space」の詳細全文を読む スポンサード リンク
|